Explaining SDN Failures via Axiomatisations
نویسندگان
چکیده
منابع مشابه
A Explaining Software Failures by Cascade Fault Localization
During software debugging, a significant amount of effort is required for programmers to identify the root cause of a manifested failure. In this paper, we propose a cascade fault localization method to help speed up this labor-intensive process via a combination of weakest pre-condition computation and constraint solving. Our approach produces a cause tree, where each node is a potential cause...
متن کاملExplaining failures and chances of Polish ' social pacts '
Introduction Poland’s experience of social dialogue is mostly dismissed as pure failure and façade (Ost 2000; Avdagic 2005). Indeed, there is little evidence of those major, encompassing, comprehensive and institutionalised agreements that have been called ‘social pacts’ in western Europe. However, a deeper and more detailed exam of the interactions between the actors shows that there have been...
متن کاملEXPLAINING BANK FAILURES : DEPOSIT INSURANCE , REGULATION AND EFFiCIENCY
This paper uses micro-level historical data to examine the causes of bank failure. For statecharactered Kansas banks during 19 10-28, time-to-failure is explicitly modeled using a proportional hazards framework. In addition to standard financial ratios, this study includes membership in the voluntary state deposit insurance system and measures of technical efficiency to explain bank failure. Th...
متن کاملExplaining Failures Using Software Dependences and Churn Metrics
and Churn Metrics Nachiappan Nagappan, Thomas Ball ABSTRACT Commercial software development is a complex task that requires a thorough understanding of the architecture of the software system. We analyze the Windows Server 2003 operating system in order to assess the relationship between its software dependences, churn metrics and post-release failures. Our analysis indicates the ability of sof...
متن کاملExplaining Best Decisions via Argumentation
This paper presents an argumentation-based multi-attribute decision making model, where decisions made can be explained in natural language. More specifically, an explanation for a decision is obtained from a mapping between the given decision framework and an argumentation framework, such that best decisions correspond to admissible sets of arguments, and the explanation is generated automatic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2019
ISSN: 2075-2180
DOI: 10.4204/eptcs.303.4